Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·23h
🎯Performance Proofs
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·3d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Implementing Forth in Go and C
eli.thegreenplace.net·21m
🔗Concatenative Programming
RP2040 Assembly Language Mix and Match
hackaday.com·2d
🔧RISC-V Assembler
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·15h
✅Format Verification
d-Matrix Corsair In-Memory Computing For AI Inference at Hot Chips 2025
servethehome.com·5h
⚡Cache Coherence
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·13h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·13h
🦀Rust Macros
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·1d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Athos Silicon: SoC with redundant UCIe chiplets for autonomous driving and more
heise.de·18h
⚡Nordic Processors
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Computer Architecture Lessons from the Kitchen
sigarch.org·1d
🧮Algorithmic Cooking
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·11h·
Discuss: DEV
🔲Cellular Automata
Developer Spotlight: Drivers of Innovation – The Chowmain Way
blogs.qsc.com·7h
🔌Interface Evolution
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News
🐚Shell Calculus
Azure apparatchik shows custom silicon keeping everything locked down
theregister.com·7h
🔐HSM Integration
On systematic construction of correct logic programs
arxiv.org·23h
⚖️Hoare Logic
RTL generation for custom CPU Mrav
popovicu.com·3d
⚙️Modern Assembly
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·20h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly